f2f+{-}p+ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\lambda$${\it e'}$,$e$. f2f+{-}pred(${\it e'}$,$e$)\^{}+